An Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)
by Ben Potter,etc.,Jane Sinclair,David Till
ISBN 13: 9780134787022
Format: Paperback (324 pages) Publisher: Prentice-Hall Published: 01 Apr 1991 Other Format: Paperback
Save for later
Introduction Formal Specification And Z (2nd Edition) (Prentice-Hall International Series in Computer Science)
by Ben Potter,Jane Sinclair,David Till
ISBN 13: 9780132422079
Format: Paperback (448 pages) Publisher: Prentice Hall Published: 21 Jun 1996 Other Format: Paperback
Sams Teach Yourself Perl in 21 Days: Version 5
by David Till
ISBN 13: 9780672308949
Format: Paperback (912 pages) Publisher: Sams Publishing Published: Jun 1996 Other Format: Paperback
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)
by Jonathan P. Bowen,David Till,Michael G. Hinchey
ISBN 13: 9783540627173
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008